Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
741	Model-Based Software Component Testing Weiqun Zheng B.Sc., M.Eng. This thesis is presented for the degree of Add to Reading List Source URL: robotics.ee.uwa.edu.au Language: English - Date: 2013-02-17 22:02:31 Formal methods Systems engineering Component-based software engineering Object-oriented programming Reliability engineering Model-based testing Validation Component IBM Rational Unified Process Software development Software engineering Software testing
742	Isabelle Supports Rodin Matthias Schmalz Information Security Group, ETH Zurich April 28th, 2011 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:15 Applied mathematics Formal methods Isabelle Logic for Computable Functions HOL B-Method Vampire Rodin Theorem prover Theoretical computer science Mathematical software Logic in computer science
743	Computing & reading 5: The Future: What’s going on? Willard McCarty Professor of Humanities Computing King’s College London Add to Reading List Source URL: www.mccarty.org.uk Language: English - Date: 2012-02-05 04:03:00 Computer science Turing machine Models of computation Formal methods Turing machine gallery Arseny Avraamov Alan Turing Computable number Computability Computability theory Theory of computation Theoretical computer science
744	Microsoft Word - D1 3_v1.1 - FINAL.doc Add to Reading List Source URL: www.envision-project.eu Language: English - Date: 2012-11-08 11:26:57 Validity Science Formal methods Software quality RM-ODP Validation Verification and validation Software testing Software development process Software development Systems engineering Pharmaceutical industry
745	OPERATOR PRECEDENCE PARSING Tom Niemann PREFACE While ad-hoc methods are sometimes used for parsing expressions, a more formal technique using Add to Reading List Source URL: www.epaperpress.com Language: English - Date: 2014-07-10 23:56:24 Procedural programming languages Bottom-up parsing Printf format string Stack ALGOL 68 C Infinite loop Shunting-yard algorithm Operator-precedence parser Computing Computer programming Software engineering
746	NOT PROTECTIVELY MARKED Office for Nuclear Regulation An agency of HSE ONR GUIDE Add to Reading List Source URL: www.onr.org.uk Language: English - Date: 2014-03-31 18:53:18 Risk Systems engineering Quality Formal methods IEC 61508 Functional Safety Software development process Specification Validation Safety Security Prevention
747	SonarSource - Continuous Inspection Whitepaper-4 Add to Reading List Source URL: dist.sonarsource.com Language: English - Date: 2013-09-12 09:08:19 Software Product management Evaluation Quality assurance Requirement Continuous integration Software development process Software quality IBM Rational Unified Process Software development Software project management Formal methods
748	Algebraic Methods for Specification and Formal Development of Programs Donald Sannella Laboratory for Foundations of Computer Science, University of Edinburgh E-mail: and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2000-06-29 07:17:41 Formal methods Software development Procedural programming languages Programming paradigms Extended ML Concurrent computing Don Sannella Specification language Algebraic specification Computing Software engineering Computer programming
749	A Turing Machine Resisting Isolated Bursts Of Faults Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-03-28 00:33:04 Computability theory Models of computation Computer science Alan Turing Formal methods Computational complexity theory Cellular automaton Non-deterministic Turing machine Busy beaver Turing machine Theory of computation Theoretical computer science
750	Implementation Methodology Simplified Implementation with Maximized ROI Glovia has built a tremendous track record over the last 30 years of very successful implementations. We understand business. We understand syst Add to Reading List Source URL: www.glovia.nl Language: English Management Software project management Software development process Methodology Software engineering Implementation Project management Transition methodology IBM Rational Unified Process Software development Formal methods Software

UPDATE